Computer Arithmetic and Formal ... Sylvie Boldo, Guilla... Hardback Published 16 Nov 2017 $189.49 In Stock
Numerical Software Verification NSV (Workshop) (crea... Paperback Published 12 Jul 2017 Save $8.69 RRP $61.06 $52.37 In Stock